Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...) two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...) small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...) quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

Robert Nozick, in chapter two of the nature of rationality, proposes two famous problems in decision theory (i.e., Newcomb's problem and Prisoner Dilemma) and two main strategies toward these problems i.e. dominant strategy and dominated or cooperative one. He will try to give a formal principles to calculate the decision values in these situations. In this calculation he goes beyond the standard principle of maximizing expected utility and would try to put forth less ideal and more realistic principles that fit (...) the decision situation in the real world. (shrink)

Intelligent neurotechnology is an emerging field that combines neurotechnologies like brain-computer interface (BCI) with artificial intelligence. This paper introduces a capability framework to assess the responsible use of intelligent BCI systems and provide practical ethical guidance. It proposes two tests, the threshold and flourishing tests, that BCI applications must meet, and illustrates them in a series of cases. After a brief introduction (Section 1), Section 2 sets forth the capability view and the two tests. It illustrates the threshold test using (...) examples from clinical medicine of BCI applications that enable patients with profound disabilities to function at a threshold level through computer mediation. Section 3 illustrates the flourishing test by exploring possible future applications of BCI involving neuroenhancements for healthy people, using examples adapted from research currently underway in the US military. Section 3 applies a capability lens to a complex case involving dual effects, both therapeutic and non-therapeutic, showing how the threshold and flourishing tests resolve the case. Section 4 replies to three objections: neurorights are the best tool for assessing BCI; the two tests are moving targets; and the analysis utilizes a capability view to do work it is not designed for. The paper concludes that a capability view offers unique advantages and gives practical guidance for evaluating the responsible use of present and future BCI applications. Extrapolating from our analysis may help guide other emerging technologies, such as germline gene editing, expected to impact central human capabilities. (shrink)

The majority of studies on absorptive capacity (AC) underscore the importance of absorbing technological knowledge from other firms to create economic value. However, to preserve moral legitimacy and create social value, firms must also discern and adapt to (shifts in) societal values. A comparative case study of eight firms in the food industry reveals how organizations prioritize and operationalize the societal value health in product innovation while navigating inter- and intravalue conflicts. The value-sensitive framework induced in this article extends AC (...) by explaining how technically savvy, economic value–creating firms diverge in their receptivity, articulation, and reflexivity of societal values. (shrink)

The theoretical foundations of climate science have received little attention from philosophers thus far, despite a number of outstanding issues. We provide a brief, non-technical overview of several of these issues – related to theorizing about climates, climate change, internal variability and more – and attempt to make preliminary progress in addressing some of them. In doing so, we hope to open a new thread of discussion in the emerging area of philosophy of climate science, focused on theoretical foundations.

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

Recently a number of scientists have proposed substantial changes to the practice of climate modeling, though they disagree over what those changes should be. We provide an overview and critical examination of three leading proposals: the unified approach, the hierarchy approach and the pluralist approach. The unified approach calls for an accelerated development of high-resolution models within a seamless prediction framework. The hierarchy approach calls for more attention to the development and systematic study of hierarchies of related models, with the (...) aim of advancing understanding. The pluralist approach calls for greater diversity in modeling efforts, including, on some of its variants, more attention to empirical modeling. After identifying some of the scientific and institutional challenges faced by these proposals, we consider their expected gains and costs, relative to a business-as-usual modeling scenario.We find the proposals to be complementary, having valuable synergies. But since resource limitations make it unlikely that all three will be pursued, we offer some reflections on more limited changes in climate modeling that seem well within reach and that can be expected to yield substantial benefits. (shrink)

This review essay (in Hebrew) considers the volume Judaism, Race, and Ethics, edited by Jonathan K. Crane (Penn, 2020), and briefly presents the content of the articles included in this important volume. The review then raises several substantial axiological and linguistic questions considering the term "race", and suggests some moral insights from Jewish tradition regarding the idea of the oneness of humanity and of all human creatures, as a basis for opposing racism.

One critique of the early Daoist texts associated with Laozi and Zhuangzi is that they neglect the human and lack a proper sense of ethical personhood in maintaining the primacy of an impersonal dehumanizing “way.” This article offers a reconsideration of the appropriateness of such negative evaluations by exploring whether and to what extent the ethical sensibility unfolded in the Zhuangzi is aporetic, naturalistic, and/or religious. As an ethos of cultivating life and free and easy wandering by performatively enacting openness (...) and responsiveness to things in an immanent this-worldly context, the Zhuangzi is oriented toward the relational attunement of disposition and practice rather than toward metaphysics or religion in a transcendent sense. It consequently suggests an immanent anarchic ethics without principles while neither forgetting nor reifying the sacred and the mundane in its playful illumination of the biospiritual dynamics of cultivating life. (shrink)

This chapter offers a proceduralist argument against capital punishment. More specifically, it contends that the possibility of irrevocable mistakes precludes the just administration of the death penalty. At stake is a principle of political morality: legal institutions must strive to remedy their mistakes and to compensate those who suffer from wrongful sanctions. The incompatibility of remedy and execution is the crux of the irrevocability argument: because the wrongly executed cannot enjoy the morally required compensation, execution is impermissible. Along with defending (...) his key premises, Yost explains the complicated role that sentencing uncertainty plays in the argument. He concludes by noting some of the flaws in substantive consequentialist and retributivist justifications of capital punishment. (shrink)

I argue that a two-dimensional model of social objects is uniquely positioned to deliver explanations for some of the puzzling metaphysical features of words. I consider how a type-token model offers explanations for the metaphysical features of words, but I give reasons to find the model wanting. In its place, I employ an alternative model from social ontology to explain the puzzling data and questions that are generated from the metaphysical features of words. In the end I chart a new (...) path that foregrounds the agent-dependence and social conditions for word kinds. (shrink)

This comparative examination of Nietzsche and the Islamic philosopher al-Kindi emphasizes their mutual commitment to the recovery of classical Greek and Hellenistic thought and the idea of philosophy as a way of life. Affiliating both thinkers with the Stoic lineage in particular, I examine the ways in which they appropriate common themes such as fatalism, self-cultivation via spiritual exercises, and the banishing of sorrow. Focusing primarily on their respective conceptions of self and nature, I argue that the antipodal worldviews of (...) al-Kindi and Nietzsche can be understood as a bifurcation of Stoic philosophy. (shrink)

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

Over the past 45 years there has been increasing vocal opposition to religious schools, particularly in Western Europe. Only some of this opposition is related to the perception that some religious schools might be excluding the less fortunate. Much of the opposition rests on the conviction that it is no longer tenable to fund and support so many religious schools when the number of persons professing religious belief has sharply declined. This argument, buttressed by the belief that Europe has undergone (...) a profound “secularization,” maintains that religious schools are but an obsolete cultural relic to be discarded in favor of nondenominational alternatives. Relatedly, religious schools are believed to contribute to segregation and “divisiveness”: Rather than maintain a system in which persons are drawn to schools that reflect their own cultural or religious background, children ought to attend the same schools, learning from – and not only about – each other through substantive interaction. Underneath this argument lies a concern with fostering the skills and dispositions necessary for citizenship. It remains unclear, however, whether religious schools are more guilty of segregation than nonreligious schools. Nor is it clear why attending a religious school would make one less capable of cultivating the skills and dispositions necessary for citizenship than nonreligious alternatives. (shrink)

There are many things that can be done to educate young people about controversial topics - including historical monuments - in schools. At the same time, however, we argue that there is little warrant for optimism concerning the educational potential of classroom instruction given the interpretative frame of the state-approved history curriculum; the onerous institutional constraints under which school teachers must labour; the unusual constellation of talents history teachers must possess; the frequent absence of marginalized voices in these conversations; and (...) finally, the not unlikely indifference - if not outright hostility - expressed by far too many members of the dominant group. For these reasons, we think it best to expand the scope of educational possibilities one is willing to consider. (shrink)

Many profess a belief in the importance of school integration. In this essay I argue that the evidence tells against the sincerity of this belief.

In this paper we aim to demonstrate the enormous ethical complexity that is prevalent in child obesity cases. This complexity, we argue, favors a cautious approach. Against those perhaps inclined to blame neglectful parents, we argue that laying the blame for child obesity at the feet of parents is simplistic once the broader context is taken into account. We also show that parents not only enjoy important relational prerogatives worth defending, but that children, too, are beneficiaries of that relationship in (...) ways difficult to match elsewhere. Finally, against the backdrop of growing public concern and pressure to intervene earlier in the life cycle, we examine the perhaps unintended stigmatizing effects that labeling and intervention can have and consider a number of risks and potential harms occasioned by state interventions in these cases. (shrink)

This paper argues that it is prudentially wise to defer to groups about how they are essentially constituted and defined. After a few words situating the paper in my greater research project (§1), I articulate the kind of deference I have in mind (§2). Then I offer two conditional arguments on why it is epistemically desirable to let other people tell you how they ought to be identified (§3). The first argument is that people are owed lexical sovereignty because denying (...) it is absurd; the second is that modest skeptics ought to agree with it on the basis of some relatively anodyne and plausible epistemic considerations. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

Whataboutism, eine weit verbreitete Argumentationsstrategie in Debatten über den Israel-Gaza-Krieg, lenkt oft durch Gegenfragen von der eigentlichen Kritik ab. Doch trotz seines schlechten Rufs kann Whataboutism auch positive Auswirkungen haben.

Ondanks antidiscriminatiebeleid en de lippendienst die universiteiten tegenwoordig bewijzen aan ‘inclusie’, ‘sociale veiligheid’ en ‘gelijke kansen’, is discriminatie binnen de universiteit nog steeds wijdverspreid. Ervaringen met discriminatie op de universiteit zijn vooral pijnlijk voor degenen die geen hogere functie krijgen, ook al voldoen ze aan alle eisen. Klachten worden vaak niet serieus genomen, waarna universiteitsbestuurders vaak hardnekkig ontkennen dat ze iets verkeerd hebben gedaan, waardoor de slachtoffers zich vernederd en gedemoraliseerd voelen.

Whataboutism is een strategie waarbij op een beschuldiging wordt gereageerd met een wedervraag die eveneens een beschuldiging impliceert, waardoor de oorspronkelijke vraag eerder wordt ontweken dan beantwoord. Het is een effectieve methode om de aandacht te verplaatsen naar een andere situatie door een vergelijkbaar, dan wel onvergelijkbaar, contrast te bieden, waardoor de beschuldigde het eigen gedrag probeert te rechtvaardigen en verantwoordelijkheid probeert te ontlopen. Maar niet alle vormen van whataboutism impliceren echter een drogredenering, noch worden ze altijd verkeerd toegepast. Het (...) contrast dat voortkomt uit de vraag ‘what about’ kan dan een cruciale bijdrage leveren aan een situatie die een verdere kritische analyse vereist, en daarmee de geloofwaardigheid van de argumentatie versterken. (shrink)

The ideological interface between Muslims and liberal educators undoubtedly is strained in the realm of sex education, and perhaps on no topic more so than homosexuality. Some argue that schools should not try to ‘undermine the faith’ of Muslims, who object to teaching homosexuality as an ‘acceptable alternative lifestyle’. In this article, I will argue against this monolithic presentation of Islam. Furthermore, I will argue that a narrow view of Islam is neglectful of gay and lesbian Muslims who are particularly (...) vulnerable to the unrepentant hostilities of their own communities. (shrink)

This paper initiates a dialogue between classical Islamic philosophy and late modern European thought, by focusing on two peripheral, ‘heretical’ figures within these traditions: Abū Bakr Muḥammad ibn Zakariyāʾ al-Rāzī and Friedrich Nietzsche. What affiliates these thinkers across the cultural and historical chasm that separates them is their mutual fascination with, and profound indebtedness to, ancient Greek and Hellenistic philosophy. Given the specific themes, concerns and doctrines that they appropriate from this common source, I argue that al-Rāzī and Nietzsche should (...) be read as Epicureans and seen in relation to their predecessor as part of the subterranean tradition of philosophical naturalism. However, while each figure appropriates the philosophy of Epicurus, they ultimately transform it in important ways: al-Rāzī offers us a qualified “Platonic” Epicureanism, while Nietzsche forges a radicalized “Dionysian” Epicureanism. The point of such a comparative examination is twofold. First, analyzing the divergent paths of these “wayward” Epicureans sheds new light on the historical trajectory of naturalism as a philosophical stance (as well as its current prospects and limitations). Second, by initiating a dialogue between the classical Islamic and modern European philosophical traditions, we can better understand the antagonisms and shared concerns between these two horizons, as well as the ambiguities and self-questioning that occur within them. (shrink)

What follows is an attempt to do some conceptual housekeeping around the notion of secret law as provided by Christopher Kutz (2013). First I consider low-salience (or merely obscure) law, suggesting that it fails to capture the legal and moral facts that are at stake in the case which Kutz used to motivate it. Then I outline a theoretical contrast between mere obscurity and secrecy, in contrast to the 'neutral' account of secrecy provided by Sissela Bok (1989). The upshot of (...) the two sections is that low-salience law is neither secret law nor necessarily problematic, though it closely resembles a kind of law that is both secret and problematic: namely, those legal obscurities that subvert manifest interests related to the informational needs of citizens. The ensuing argument undermines the fiction of constructive presence found in Austin and Blackstone. (shrink)

In this article, I make a philosophical case for the state to fund religious schools. Ultimately, I shall argue that the state has an obligation to fund and provide oversight of all schools irrespective of their religious or non-religious character. The education of children is in the public interest and therefore the state must assume its responsibility to its future citizens to ensure that they receive a quality education. Still, while both religious schools and the polity have much to be (...) gained from direct funding, I will show that parents and administrators of these schools may have reasons to be diffident toward the state and its hypothetical interference. While the focus of the paper is primarily on the American educational context, the philosophical questions related to state funding and oversight of religious schools transcend any one national context . (shrink)

Is a phenomenal pain a conscious primitive or composed of more primitive phenomenal states? Are pain experiences necessarily or only contingently unpleasant? Here, I sketch how to answer such questions concerning intra-phenomenal metaphysics using the example of pain and unpleasantness. Arguments for a symmetrical metaphysical independence of phenomenal pain and unpleasant affect are presented, rejecting a composite view like the IASP definition and dimensional views. The motivating intuition of these views is explained by common binding mechanisms in consciousness and characterized (...) as fallacious if generalized. There are, however, underlying commonalities between pain perception and unpleasant affect, e.g. formal content or evolutionary ancestry. (shrink)

Een veelgehoorde kritiek op islamitische scholen is dat kinderen er worden geïndoctrineerd en dat dit in strijd is met het doel van onderwijs in een democratische samenleving. Dit artikel onderzoekt de principiële vraag of ouders ervoor zouden kunnen kiezen om hun kind naar een school te sturen waar hij of zij geïndoctrineerd wordt, bijvoorbeeld omdat zij denken dat het kind op een religieuze school minder kans loopt te worden gestigmatiseerd. Daarnaast wordt bekeken of het waarschijnlijk is dat kinderen op islamitische (...) scholen in Nederland daadwerkelijk geïndoctrineerd worden. (shrink)